منابع مشابه
Test Case Generation by Grammar-Based Fuzzing for Model-Driven Engineering
Software models, traditionally used mainly for documentation and informal specification purposes, are becoming first-class development artifacts in the area of Model-driven Engineering (MDE). In MDE, code is generated automatically from multi-view models described in languages like the Unified Modeling Language (UML)1. Maintaining consistency between the different views of a model is crucial fo...
متن کاملkAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
Many kinds of memory safety vulnerabilities have been endangering software systems for decades. Amongst other approaches, fuzzing is a promising technique to unveil various software faults. Recently, feedback-guided fuzzing demonstrated its power, producing a steady stream of security-critical software bugs. Most fuzzing efforts—especially feedback fuzzing—are limited to user space components o...
متن کاملIranian EFL High School Students’ Perceptions Regarding Written Grammar Feedback
This paper reports on a study thatinvestigated Iranian EFL high school students’ perceptions of written grammar feedback to specify their reasons for preferring comprehensive or selective feedback and choosing some feedback strategies. A questionnaire was administered to 100 EFL intermediate high school students who were selected based on their scores on a proficiency test. Moreover, semi-struc...
متن کاملPrototype-Driven Grammar Induction
We investigate prototype-driven learning for primarily unsupervised grammar induction. Prior knowledge is specified declaratively, by providing a few canonical examples of each target phrase type. This sparse prototype information is then propagated across a corpus using distributional similarity features, which augment an otherwise standard PCFG model. We show that distributional features are ...
متن کاملComplementing Model Learning with Mutation-Based Fuzzing
An ongoing challenge for learning algorithms formulated in the Minimally Adequate Teacher framework is to efficiently obtain counterexamples. In this paper we compare and combine conformance testing and mutation-based fuzzing methods for obtaining counterexamples when learning finite state machine models for the reactive software systems of the Rigorous Exampination of Reactive Systems (RERS) c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Problems of Computer Science
سال: 2018
ISSN: 2579-2784
DOI: 10.51408/1963-0022